@charset "UTF-8";

.pagesdiv {
  position: fixed;
  top: 40%;
  z-index: 10;
  background-color: rgba(0, 0, 0, 1);
  color: rgba(255, 255, 255, 0.8);
  right: 0px;
  font-family: "Times New Roman", Arial, sans-serif;
}

.pagesdiv .page {
  padding: 3px 5px;
  font-size: medium;
}

.pagesdiv .page:hover {
  cursor: pointer;
  background-color: rgb(73, 67, 255);
}

.pageselected {
  padding: 3px 5px;
  font-size: medium;
  background-color: rgb(73, 67, 255);
}
